3

Exploring nominal cellular automata

Year:
2017
Language:
english
File:
PDF, 3.19 MB
english, 2017
6

A Name Abstraction Functor for Named Sets

Year:
2008
Language:
english
File:
PDF, 407 KB
english, 2008
9

Co-Algebraic Models for Quantitative Spatial Logics

Year:
2007
Language:
english
File:
PDF, 338 KB
english, 2007
10

Event based choreography

Year:
2010
Language:
english
File:
PDF, 850 KB
english, 2010
13

Symmetries, local names and dynamic (de)-allocation of names

Year:
2010
Language:
english
File:
PDF, 807 KB
english, 2010